Buy Used and New Alexander Raschke Books

Modeling Companion for Software Practitioners

by Egon Börger,Alexander Raschke

ISBN 13: 9783662566398

Format: Paperback (370 pages)
Publisher: Springer
Published: 10 Apr 2018

Save for later

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science)

by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl

ISBN 13: 9783319912707

Format: Paperback (448 pages)
Publisher: Springer
Published: 08 May 2018

Save for later

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Lecture Notes in Computer Science, 12071)

by Alexander Raschke,Dominique Méry,Frank Houdek

ISBN 13: 9783030480769

Format: Paperback (440 pages)
Publisher: Springer
Published: 15 May 2020

Save for later

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday: 12750 (Lecture Notes in Computer Science, 12750)

by Alexander Raschke,Elvinia Riccobene,Klaus-Dieter Schewe

ISBN 13: 9783030760199

Format: Paperback (369 pages)
Publisher: Springer
Published: 04 Jun 2021

Save for later

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 (Lecture Notes in Computer Science, 12709)

by Alexander Raschke,Dominique Méry

ISBN 13: 9783030775421

Format: Paperback (177 pages)
Publisher: Springer
Published: 23 May 2021

Save for later